TAGs: remove linoleum glue